loop invariant - Allemand Anglais Dictionnaire